منابع مشابه
Upward Morley's theorem downward
By a celebrated theorem of Morley, a theory T is א1-categorical if and only if it is κ-categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley’s categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain א1-categorical T have at most one n-element model for each natural numbe...
متن کاملComparison of Upward and Downward Generalizations in CF-Induction
CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...
متن کاملDepressive states amplify both upward and downward counterfactual thinking.
Depression has been linked to counterfactual thinking in many behavioral studies, but the direction of this effect remains disputed. In the current study, the relationship between depression and counterfactual thinking was examined using the event-related potential (ERP) technique. In a binary choice gambling task, outcome feedback of the chosen option and that of the alternative option were bo...
متن کاملUpward and Downward Runs on Partially Ordered Sets
We consider Markov chains on partially ordered sets that generalize the success-runs and remaining life chains in reliability theory. We find conditions for recurrence and transience and give simple expressions for the invariant distributions. We study a number of special cases, including rooted trees, uniform posets, and posets associated with positive semigroups. 1 Partially Ordered Sets 1.1 ...
متن کاملBits don’t have error bars: upward conceptualization and downward approximation
How engineering enabled abstraction in computer science. 1. Turning dreams into reality What has been is what will be, and what has been done is what will be done; there is nothing new under the sun. Is there a thing of which it is said, "See, this is new"? – Ecclesiastes 1:9-10 Although Ecclesiastes says “No,” engineers and computer scientists say “Yes, there are things that are new under the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1995
ISSN: 0890-5401
DOI: 10.1006/inco.1995.1119